Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
621	EXH-26-KM652MFP[removed] Add to Reading List Source URL: hazelwoodinquiry.vic.gov.au Language: English - Date: 2014-08-28 21:25:39 Validity Software testing Verification Systems science Audit Occupational safety and health Internal audit Test plan Hazelwood Power Station Systems engineering Risk Pharmaceutical industry
622	Annual Repor 2012 Arnaud Gotlieb Leader of the Certus Centre Add to Reading List Source URL: certus-sfi.no Language: English - Date: 2014-04-23 07:47:25 Software engineering Simula Critical Software Cisco Systems FMC Technologies Kongsberg Maritime Verification and validation Systems engineering Technology Computing Simula Research Laboratory
623	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Computability theory Lambda calculus Theoretical computer science Mathematical proof Constructible universe Creative Commons Mathematics Mathematical logic Open content
624	Product Overview Software Technology TBreq®/TBmanager® Collaborative, Requirements-Based Development and Verification The key to collaborative development and verification is the co-ordinated sharing of requirements ar Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:06 Software Technology DO-178B Requirements traceability Traceability LDRA Testbed Requirements management Code coverage Requirement Software development Software requirements Software testing
625	Model-based runtime analysis of distributed reactive systems Andreas Klaus Bauer Institut fu ¨ r Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-05-18 18:48:18 Computer science Software engineering Manfred Broy Runtime verification Model checking
626	IAEA Services Series No. 6 ESRS guidelines for software safety reviews Reference document for the organization and conduct of Engineering Safety Review Services (ESRS) on Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2004-11-26 08:50:28 Science Software development process Validation Reliability engineering Software testing Verification and validation Requirement Functional specification Verification Systems engineering Software development Systems science
627	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification I SAR Toby Murray, June Andronick, Gerwin Klein Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Open content Mathematical proofs Deduction Creative Commons Natural deduction NICTA Mathematical induction Mathematical logic Mathematics Logic
628	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language
629	ECSS-Q-ST-10C Rev.1 DIR1 9 April 2015 ECSS-Q-ST-10C Rev.1 DIR1 9 April 2015 ECSS-Q-ST-10C Rev.1 DIR1 9 April 2015 Add to Reading List Source URL: www.ecss.nl Language: English ECSS Quality assurance Validation X Window System Open Concurrent Design Server Software Systems engineering Verification
630	Rapid7 Launches New Metasploit Community Edition for Free and Simple Vulnerability Verification Building on Metasploit Framework, New Solution Provides Streamlined User Interface for Network Discovery, Module Browsing an Add to Reading List Source URL: www.rapid7.com Language: English - Date: 2012-11-29 09:06:07 Computer network security Software testing Metasploit Project Rapid7 HD Moore Penetration test Exploit Nmap Vulnerability Software Computer security System software

UPDATE